<?
    require_once("Clases/Docente.php");
    session_start(); 
    $docente = unserialize($_SESSION['usuario']);
    $reporte = $docente->getHistorial();
    $str = "";
    foreach($reporte as $rep)
        $str.=($rep->IdReporte."}");
    $str = substr_replace($str ,"",-1);
    echo (sizeof($reporte) > 0 ) ? $str : "no";
?>
